computer program verification
电脑程式验证
热门查询
- arboretum n. 植物园；（供科研等的）树木园
- taster n. 尝味道者；审阅人
- corruptly adv. 腐败地，堕落地；可被收买的
- pedophilia n. 恋童癖
- silent n. 无声电影 adj. 沉默的；寂静的；无记载的
- camp n. 露营 vt. 扎营；使扎营 vi. 露营；扎营 n. (Camp)人名；(英)坎普；(瑞典)坎普；(法)康
- efface vt. 抹去，抹掉；使自己不受人注意
- barbarity n. 残暴；粗野
- infringement n. 侵犯；违反
- presbytery n. 长老（总称）；长老会教务评议会；长老会辖区；神父的宅邸
- Vann [人名] [英格兰人姓氏] 范恩 Fenn的变体; [地名] 水（挪威语）
- emasculated v. 阉割；使柔弱（emasculate的过去分词） adj. 柔弱的；被阉割的；去势的
- surge n. 汹涌；大浪，波涛；汹涌澎湃；巨涌 v. 汹涌；起大浪，蜂拥而来
- Ortega 奥尔特加（人名） 奥尔特加（地名, 阿根廷、哥伦比亚）
- Busch 布什，阿道夫·乔治·韦伯（德裔瑞士小提琴演奏家和作曲家，因其担任布什四重奏乐团首席小提琴手时的作品闻名，该乐团是成立于1919年的具国际声望的室内乐团）
- tapered adj. 锥形的 v. 逐渐变少（taper的过去式和过去分词）
- categorise vt. 分类；加以类别
- totally adv. 完全地
- sorority n. 妇女联谊会；女学生联谊会
- conclusively adv. 最后地；决定性地
考试词汇表
- knot of umbilical cord
- knotted list structure
- knotty and knaggy wood
- know chalk from cheese
- know it in one's bones
- know shit from Shinola
- know somebody by sight
- know sth back to front
- know their ways around
- know what one is about
- know what one is doing
- know what sb's game is
- know what you're doing
- knowingly and wilfully
- knowledge accomodation
- knowledge assimilation
- knowledge base machine
- knowledge base manager
- knowledge based system
- knowledge completeness
